$\forall$$A$, $B$, $C$:Realizer. R{-}icompat($A$;$B$ $\oplus$ $C$) $\Leftarrow\!\Rightarrow$ (R{-}icompat($A$;$B$) \& R{-}icompat($A$;$C$))